Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
81	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
82	Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A Add to Reading List Source URL: www.carloangiuli.com Language: English - Date: 2015-05-08 13:33:44 Proof theory Riemann surfaces Mathematics CurryHoward correspondence Logic in computer science Philosophy of computer science Type theory Generalised Whitehead product
83	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
84	On Propagation of Deletions and Annotations Through Views Peter Buneman ∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:13 Relational model Data management Computing Data Database theory Mathematical notation Tuple Type theory Relational database Relational algebra Relation Bin
85	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
86	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics
87	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
88	Register Date Title Regularity of fractional maximal functions and extremal timpa Acfunctions of exponential type Add to Reading List Source URL: www.impa.br Language: English - Date: 2016-05-19 11:10:17 Mathematics Calculus Algebra Dynamical systems Multivariable calculus Partial differential equation Algebraic geometry Complex number Integrable system Abstract algebra Nonlinear system Representation theory
89	Can there be a preference-based utilitarianism? * John Broome Department of Moral Philosophy, University of St Andrews For Justice, Political Liberalism and Utilitarianism: Proceedings of the Caen Conference in Honour of Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-01-31 11:02:08 Ethics Philosophy Utilitarianism Classical liberalism Social philosophy Fellows of the Econometric Society Consumer theory Preference Act utilitarianism Utility John Harsanyi MyersBriggs Type Indicator
90	Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K. Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-20 07:31:14 Algebra Abstract algebra Mathematics Algebraic topology Homology theory Cohomology Spectral sequence CW complex Sheaf Closed and exact differential forms MayerVietoris sequence Grushko theorem

UPDATE